y ≥0